Obiettivi di Apprendimento
- Analizzare la semantica formale delle operazioni sicure e non sicure rispetto alla memoria.
- Comprendere l'implementazione hardware e software del mascheramento della memoria.
- Valutare l'impatto della casualizzazione dell'organizzazione dello spazio degli indirizzi (ASLR) sulla semantica del linguaggio.
- Progettare strategie di mascheramento per proteggere i dati sensibili all'interno dello spazio heap dell'applicazione.